given Int = ???
given Char = ???
val a = summon[Int]